Combining interval-based temporal reasoning with general TBoxes

Interval-based Temporal Reasoning with General TBoxes

Until now, interval-based temporal Description Logics (DLs) did—if at all—only admit TBoxes of a very restricted form, namely acyclic macro definitions. In this paper, we present a temporal DL that overcomes this deficieny and combines intervalbased temporal reasoning with general TBoxes. We argue that this combination is very interesting for many application domains. An automata-based decision...

Interval - based Temporal Reasoning with General TBoxesCarsten

Reasoning About General TBoxes with Spatial and Temporal Constraints: Implementation and Optimizations

In many applications a reasonable representation of conceptual knowledge requires the possibility to express spatial or temporal relations between domain entities. A feasible approach to this is to consider spatial or temporal constraint systems on concrete domains. Indeed, Lutz and Miličic̀ (2007) showed that for the description logic ALC(C) with ω-admissible constraint systems, concept satsifi...

Uncertainty Reasoning for Ontologies with General TBoxes in Description Logic

We present a reasoning procedure for ontologies with uncertainty described in Description Logic (DL) which include General TBoxes, i.e., include cycles and General Concept Inclusions (GCIs). For this, we consider the description language ALCU , in which uncertainty parameters are associated with ABoxes and TBoxes, and which allows General TBoxes. Using this language as a basis, we then present ...

Reasoning About Actions Using Description Logics with General TBoxes

Action formalisms based on description logics (DLs) have recently been introduced as decidable fragments of well-established action theories such as the Situation Calculus and the Fluent Calculus. However, existing DL action formalisms fail to include general TBoxes, which are the standard tool for formalising ontologies in modern description logics. We define a DL action formalism that admits ...